Book Reviews: Ernst Schröder, Parafrasi Schröderiane. Ovvero: Ernst Schröder, Leoperazioni del Calcolo Logico
نویسندگان
چکیده
منابع مشابه
Generalized Small Schröder Numbers
We study generalized small Schröder paths in the sense of arbitrary sizes of steps. A generalized small Schröder path is a generalized lattice path from (0, 0) to (2n, 0) with the step set of {(k, k), (l,−l), (2r, 0) | k, l, r ∈ P}, where P is the set of positive integers, which never goes below the x-axis, and with no horizontal steps at level 0. We find a bijection between 5-colored Dyck path...
متن کاملThe Generalized Schröder Theory
While the standard Catalan and Schröder theories both have been extensively studied, people have only begun to investigate higher dimensional versions of the Catalan number (see, say, the 1991 paper of Hilton and Pedersen, and the 1996 paper of Garsia and Haiman). In this paper, we study a yet more general case, the higher dimensional Schröder theory. We define m-Schröder paths, find the number...
متن کامل, Dominique Schröder , and
A functional credential allows a user to anony-mously prove possession of a set of attributes that fulfillsa certain policy. The policies are arbitrary polynomiallycomputable predicates that are evaluated over arbitraryattributes. The key feature of this primitive is the dele-gation of verification to third parties, called designatedverifiers. The delegation protects the...
متن کاملLoopless Generation of Schröder Trees
The well-known Schröder numbers have appeared in different combinatorial contexts, including Schröder trees and well-weighted binary trees. The only loopless algorithm for generating Schröder trees actually generated representations for their well-weighted binary tree counterparts. This paper presents the first loopless algorithms for directly generating Schröder tree representations. They use ...
متن کاملThe Algebra of Logic : Schröder
The monument to the work initiated by Boole, the algebraization of logic, is the three volumes Algebra der Logik by Schröder (1841–1902), which appeared in the years 1890–1910, filling over 2,000 pages. Although the spirit of the subject came from the work of Boole and De Morgan, Schröder's volumes are really a tribute to the work of C.S. Peirce, along with Schröder's contributions. In addition...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2013
ISSN: 1425-3305
DOI: 10.12775/llp.2011.016